<?php
/**
 * Created by PhpStorm.
 * User: zhangrongxiang
 * Date: 2017/7/19
 * Time: 下午10:11
 */

//$get_loaded_extensions = get_loaded_extensions();
//var_dump($get_loaded_extensions);

$boo = extension_loaded('readline');
if($boo){
    echo "加载 readline 扩展";
}